Complete Spaces
نویسنده
چکیده
This paper is a continuation of [12]. First some definitions needed to formulate Cantor’s theorem on complete spaces and show several facts about them are introduced. Next section contains the proof of Cantor’s theorem and some properties of complete spaces resulting from this theorem. Moreover, countable compact spaces and proofs of auxiliary facts about them is defined. I also show the important condition that every metric space is compact if and only if it is countably compact. Then I prove that every metric space is compact if and only if it is a complete and totally bounded space. I also introduce the definition of the metric space with the well metric. This article is based on [13].
منابع مشابه
Non-linear ergodic theorems in complete non-positive curvature metric spaces
Hadamard (or complete $CAT(0)$) spaces are complete, non-positive curvature, metric spaces. Here, we prove a nonlinear ergodic theorem for continuous non-expansive semigroup in these spaces as well as a strong convergence theorem for the commutative case. Our results extend the standard non-linear ergodic theorems for non-expansive maps on real Hilbert spaces, to non-expansive maps on Ha...
متن کاملSuperstability of $m$-additive maps on complete non--Archimedean spaces
The stability problem of the functional equation was conjectured by Ulam and was solved by Hyers in the case of additive mapping. Baker et al. investigated the superstability of the functional equation from a vector space to real numbers. In this paper, we exhibit the superstability of $m$-additive maps on complete non--Archimedean spaces via a fixed point method raised by Diaz and Margolis.
متن کاملFixed Point Theorems on Complete Quasi Metric Spaces Via C-class and A-Class Functions
In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...
متن کاملCharacterization of fuzzy complete normed space and fuzzy b-complete set
The present paper introduces the notion of the complete fuzzy norm on a linear space. And, some relations between the fuzzy completeness and ordinary completeness on a linear space is considered, moreover a new form of fuzzy compact spaces, namely b-compact spaces and b-closed spaces are introduced. Some characterizations of their properties are obtained.
متن کاملGeneralized multivalued $F$-contractions on non-complete metric spaces
In this paper, we explain a new generalized contractive condition for multivalued mappings and prove a fixed point theorem in metric spaces (not necessary complete) which extends some well-known results in the literature. Finally, as an application, we prove that a multivalued function satisfying a general linear functional inclusion admits a unique selection fulfilling the corresp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 16 شماره
صفحات -
تاریخ انتشار 2008